3.228 \(\int \frac{(A+B \log (e (a+b x)^n (c+d x)^{-n}))^3}{(a+b x) (c+d x)} \, dx\)

Optimal. Leaf size=45 \[ \frac{\left (B \log \left (e (a+b x)^n (c+d x)^{-n}\right )+A\right )^4}{4 B n (b c-a d)} \]

[Out]

(A + B*Log[(e*(a + b*x)^n)/(c + d*x)^n])^4/(4*B*(b*c - a*d)*n)

________________________________________________________________________________________

Rubi [A]  time = 0.11773, antiderivative size = 45, normalized size of antiderivative = 1., number of steps used = 1, number of rules used = 1, integrand size = 40, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.025, Rules used = {6686} \[ \frac{\left (B \log \left (e (a+b x)^n (c+d x)^{-n}\right )+A\right )^4}{4 B n (b c-a d)} \]

Antiderivative was successfully verified.

[In]

Int[(A + B*Log[(e*(a + b*x)^n)/(c + d*x)^n])^3/((a + b*x)*(c + d*x)),x]

[Out]

(A + B*Log[(e*(a + b*x)^n)/(c + d*x)^n])^4/(4*B*(b*c - a*d)*n)

Rule 6686

Int[(u_)*(y_)^(m_.), x_Symbol] :> With[{q = DerivativeDivides[y, u, x]}, Simp[(q*y^(m + 1))/(m + 1), x] /;  !F
alseQ[q]] /; FreeQ[m, x] && NeQ[m, -1]

Rubi steps

\begin{align*} \int \frac{\left (A+B \log \left (e (a+b x)^n (c+d x)^{-n}\right )\right )^3}{(a+b x) (c+d x)} \, dx &=\frac{\left (A+B \log \left (e (a+b x)^n (c+d x)^{-n}\right )\right )^4}{4 B (b c-a d) n}\\ \end{align*}

Mathematica [A]  time = 0.0198009, size = 43, normalized size = 0.96 \[ \frac{\left (B \log \left (e (a+b x)^n (c+d x)^{-n}\right )+A\right )^4}{4 (b B c n-a B d n)} \]

Antiderivative was successfully verified.

[In]

Integrate[(A + B*Log[(e*(a + b*x)^n)/(c + d*x)^n])^3/((a + b*x)*(c + d*x)),x]

[Out]

(A + B*Log[(e*(a + b*x)^n)/(c + d*x)^n])^4/(4*(b*B*c*n - a*B*d*n))

________________________________________________________________________________________

Maple [C]  time = 18.661, size = 64288, normalized size = 1428.6 \begin{align*} \text{output too large to display} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((A+B*ln(e*(b*x+a)^n/((d*x+c)^n)))^3/(b*x+a)/(d*x+c),x)

[Out]

result too large to display

________________________________________________________________________________________

Maxima [B]  time = 1.44248, size = 1034, normalized size = 22.98 \begin{align*} \text{result too large to display} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((A+B*log(e*(b*x+a)^n/((d*x+c)^n)))^3/(b*x+a)/(d*x+c),x, algorithm="maxima")

[Out]

B^3*(log(b*x + a)/(b*c - a*d) - log(d*x + c)/(b*c - a*d))*log((b*x + a)^n*e/(d*x + c)^n)^3 + 3*A*B^2*(log(b*x
+ a)/(b*c - a*d) - log(d*x + c)/(b*c - a*d))*log((b*x + a)^n*e/(d*x + c)^n)^2 + 3*A^2*B*(log(b*x + a)/(b*c - a
*d) - log(d*x + c)/(b*c - a*d))*log((b*x + a)^n*e/(d*x + c)^n) - 1/4*B^3*(6*(e*n*log(b*x + a)^2 - 2*e*n*log(b*
x + a)*log(d*x + c) + e*n*log(d*x + c)^2)*log((b*x + a)^n*e/(d*x + c)^n)^2/((b*c - a*d)*e) - (4*(e^2*n^2*log(b
*x + a)^3 - 3*e^2*n^2*log(b*x + a)^2*log(d*x + c) + 3*e^2*n^2*log(b*x + a)*log(d*x + c)^2 - e^2*n^2*log(d*x +
c)^3)*log((b*x + a)^n*e/(d*x + c)^n)/((b*c - a*d)*e) - (e^3*n^3*log(b*x + a)^4 - 4*e^3*n^3*log(b*x + a)^3*log(
d*x + c) + 6*e^3*n^3*log(b*x + a)^2*log(d*x + c)^2 - 4*e^3*n^3*log(b*x + a)*log(d*x + c)^3 + e^3*n^3*log(d*x +
c)^4)/((b*c - a*d)*e^2))/e) + A^3*(log(b*x + a)/(b*c - a*d) - log(d*x + c)/(b*c - a*d)) - A*B^2*(3*(e*n*log(b
*x + a)^2 - 2*e*n*log(b*x + a)*log(d*x + c) + e*n*log(d*x + c)^2)*log((b*x + a)^n*e/(d*x + c)^n)/((b*c - a*d)*
e) - (e^2*n^2*log(b*x + a)^3 - 3*e^2*n^2*log(b*x + a)^2*log(d*x + c) + 3*e^2*n^2*log(b*x + a)*log(d*x + c)^2 -
e^2*n^2*log(d*x + c)^3)/((b*c - a*d)*e^2)) - 3/2*(e*n*log(b*x + a)^2 - 2*e*n*log(b*x + a)*log(d*x + c) + e*n*
log(d*x + c)^2)*A^2*B/((b*c - a*d)*e)

________________________________________________________________________________________

Fricas [B]  time = 0.522504, size = 906, normalized size = 20.13 \begin{align*} \frac{B^{3} n^{3} \log \left (b x + a\right )^{4} + B^{3} n^{3} \log \left (d x + c\right )^{4} + 4 \,{\left (B^{3} n^{2} \log \left (e\right ) + A B^{2} n^{2}\right )} \log \left (b x + a\right )^{3} - 4 \,{\left (B^{3} n^{3} \log \left (b x + a\right ) + B^{3} n^{2} \log \left (e\right ) + A B^{2} n^{2}\right )} \log \left (d x + c\right )^{3} + 6 \,{\left (B^{3} n \log \left (e\right )^{2} + 2 \, A B^{2} n \log \left (e\right ) + A^{2} B n\right )} \log \left (b x + a\right )^{2} + 6 \,{\left (B^{3} n^{3} \log \left (b x + a\right )^{2} + B^{3} n \log \left (e\right )^{2} + 2 \, A B^{2} n \log \left (e\right ) + A^{2} B n + 2 \,{\left (B^{3} n^{2} \log \left (e\right ) + A B^{2} n^{2}\right )} \log \left (b x + a\right )\right )} \log \left (d x + c\right )^{2} + 4 \,{\left (B^{3} \log \left (e\right )^{3} + 3 \, A B^{2} \log \left (e\right )^{2} + 3 \, A^{2} B \log \left (e\right ) + A^{3}\right )} \log \left (b x + a\right ) - 4 \,{\left (B^{3} n^{3} \log \left (b x + a\right )^{3} + B^{3} \log \left (e\right )^{3} + 3 \, A B^{2} \log \left (e\right )^{2} + 3 \, A^{2} B \log \left (e\right ) + A^{3} + 3 \,{\left (B^{3} n^{2} \log \left (e\right ) + A B^{2} n^{2}\right )} \log \left (b x + a\right )^{2} + 3 \,{\left (B^{3} n \log \left (e\right )^{2} + 2 \, A B^{2} n \log \left (e\right ) + A^{2} B n\right )} \log \left (b x + a\right )\right )} \log \left (d x + c\right )}{4 \,{\left (b c - a d\right )}} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((A+B*log(e*(b*x+a)^n/((d*x+c)^n)))^3/(b*x+a)/(d*x+c),x, algorithm="fricas")

[Out]

1/4*(B^3*n^3*log(b*x + a)^4 + B^3*n^3*log(d*x + c)^4 + 4*(B^3*n^2*log(e) + A*B^2*n^2)*log(b*x + a)^3 - 4*(B^3*
n^3*log(b*x + a) + B^3*n^2*log(e) + A*B^2*n^2)*log(d*x + c)^3 + 6*(B^3*n*log(e)^2 + 2*A*B^2*n*log(e) + A^2*B*n
)*log(b*x + a)^2 + 6*(B^3*n^3*log(b*x + a)^2 + B^3*n*log(e)^2 + 2*A*B^2*n*log(e) + A^2*B*n + 2*(B^3*n^2*log(e)
+ A*B^2*n^2)*log(b*x + a))*log(d*x + c)^2 + 4*(B^3*log(e)^3 + 3*A*B^2*log(e)^2 + 3*A^2*B*log(e) + A^3)*log(b*
x + a) - 4*(B^3*n^3*log(b*x + a)^3 + B^3*log(e)^3 + 3*A*B^2*log(e)^2 + 3*A^2*B*log(e) + A^3 + 3*(B^3*n^2*log(e
) + A*B^2*n^2)*log(b*x + a)^2 + 3*(B^3*n*log(e)^2 + 2*A*B^2*n*log(e) + A^2*B*n)*log(b*x + a))*log(d*x + c))/(b
*c - a*d)

________________________________________________________________________________________

Sympy [F(-1)]  time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((A+B*ln(e*(b*x+a)**n/((d*x+c)**n)))**3/(b*x+a)/(d*x+c),x)

[Out]

Timed out

________________________________________________________________________________________

Giac [F]  time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{{\left (B \log \left (\frac{{\left (b x + a\right )}^{n} e}{{\left (d x + c\right )}^{n}}\right ) + A\right )}^{3}}{{\left (b x + a\right )}{\left (d x + c\right )}}\,{d x} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((A+B*log(e*(b*x+a)^n/((d*x+c)^n)))^3/(b*x+a)/(d*x+c),x, algorithm="giac")

[Out]

integrate((B*log((b*x + a)^n*e/(d*x + c)^n) + A)^3/((b*x + a)*(d*x + c)), x)